Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
---|---|---|---|---|---|
Artículo |
A normalisation result for higher-order calculi with explicit substitutions : | Bonelli, Eduardo |
(2003) |
---------- | |
Tesis |
Agregando polimorfismo a una lógica que identifica proposiciones isomorfas | Sottile, Cristian |
(2020) |
---------- | |
Artículo |
Hacia un sistema I polimórfico | Sottile, Cristian |
(2019) |
---------- | |
Artículo |
The intensional lambda calculus : | Artemov, Sergei |
(2007) |
---------- |